/******************************************************************************
 *    COPYRIGHT (C) 2013 Hisilicon
 *    All rights reserved.
 * ***
 *    Create by Czyong 2013-12-18
 *
******************************************************************************/
#ifndef HOTPLUGH
#define HOTPLUGH
/******************************************************************************/

void hi3798mx_cpu_die(unsigned int cpu);


/******************************************************************************/
#endif /* HOTPLUGH */
